validation algebra

[计] 确认代数, 验证代数